Add type annotations for GdkWayland API
authorEmmanuele Bassi <ebassi@gnome.org>
Mon, 12 Oct 2020 13:04:13 +0000 (14:04 +0100)
committerEmmanuele Bassi <ebassi@gnome.org>
Mon, 12 Oct 2020 13:07:26 +0000 (14:07 +0100)
commitf83ee2ab6abeec1143caef6cc12ea4c4cf76927a
tree2841c63d77fa89311a44b19302004080784b8e66
parent33e84edf0c6d520cc158872bddfe305a4aa18894
Add type annotations for GdkWayland API

The GdkWayland API takes generic GDK types and performs a run time
check, which means we need to properly annotate the actual expected
type in order to have methods recognised as such.
gdk/wayland/gdkdevice-wayland.c
gdk/wayland/gdkdisplay-wayland.c
gdk/wayland/gdksurface-wayland.c